Machine learning

Results: 10129



#Item
771Mathematics / Theoretical computer science / Automated theorem proving / Logic / Logic in computer science / Mathematical proofs / Artificial intelligence / Reasoning / ACL2 / Automated reasoning / Proof assistant / Isabelle

Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2015-08-18 04:15:56
772Data management / Data / Computing / Database management systems / SQL / Query optimization / Data warehousing / VC dimension / Join / Dimension / Monotonic query

Journal of Machine Learning Research X (201X) X-XX Submitted 10/13; Published X/XX The VC-Dimension of SQL Queries and Selectivity Estimation Through Sampling

Add to Reading List

Source URL: matteo.rionda.to

Language: English - Date: 2016-07-30 12:22:15
773Statistical classification / Machine learning / Cognition / Cognitive science / K-nearest neighbors algorithm / Support vector machine / Supervised learning / Information / Generalization error / Naive Bayes classifier

Machine learning techniques available in pRoloc Laurent Gatto∗ June 14, 2016 Contents 1 Introduction

Add to Reading List

Source URL: www.bioconductor.org

Language: English - Date: 2016-06-14 23:40:44
774Computational neuroscience / Applied mathematics / Cybernetics / Cognitive science / Neuroscience / Belief revision / Reinforcement learning / Machine learning / Artificial neural network / Temporal difference learning / Deep learning / Reinforcement

AITF ANNUAL REPORT 2016 DR. RICHARD SUTTON REINFORCEMENT LEARNING AND ARTIFICIAL INTELLIGENCE AITF ANNUAL REPORT MARCH 31, EXECUTIVE SUMMARY

Add to Reading List

Source URL: webdocs.cs.ualberta.ca

Language: English - Date: 2016-05-16 19:35:21
775Statistical classification / Support vector machine / Dynamic time warping / Statistics / Learning / Artificial intelligence

TUKE MediaEval 2012: Spoken Web Search using DTW and Unsupervised SVM Jozef Vavrek Matúš Pleva

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2012-10-08 15:13:04
776Artificial intelligence / Statistics / Machine learning / Learning / Computational neuroscience / Artificial neural networks / Lasso / Word embedding / Language model / Structured sparsity regularization / Matrix regularization

Sparse Models of Natural Language Text Dani Yogatama CMU-LTILanguage Technologies Institute School of Computer Science

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2015-08-18 01:45:01
777Computational linguistics / Humancomputer interaction / Machine learning / Artificial intelligence / Speech recognition / Speech synthesis / Recurrent neural network / Artificial neural network / Acoustic model / Digital News Network / Hidden Markov model

Minimum trajectory error training for deep neural networks, combined with stacked bottleneck features Zhizheng Wu Simon King

Add to Reading List

Source URL: www.cstr.inf.ed.ac.uk

Language: English
778Machine learning / Statistical classification / Semi-supervised learning / Draft:Active Learning

Microsoft PowerPoint - active-learning.pptx

Add to Reading List

Source URL: people.cs.pitt.edu

Language: English - Date: 2014-11-20 14:52:04
779Artificial intelligence / Machine learning / Face recognition / Learning / Ensemble learning / Statistical classification / Boosting / Face detection / Pattern recognition / Eigenface / AdaBoost / Facial recognition system

SUBMITTED FOR PUBLICATION TO: , JUNE 30, Multi-Camera Face Recognition by Reliability-Based Selection

Add to Reading List

Source URL: www.vast.uccs.edu

Language: English - Date: 2007-02-17 09:44:02
780Machine learning / Ontology / Information science / Technical communication / Artificial intelligence / Cognitive science / Knowledge representation / Cognition / Upper ontology / Bioinformatics / Workflow / Supervised learning

Expos´ e: An Ontology for Data Mining Experiments Joaquin Vanschoren1 and Larisa Soldatova2 1

Add to Reading List

Source URL: lirias.kuleuven.be

Language: English - Date: 2012-09-05 07:05:44
UPDATE